windowManager: limit the "switch app" gesture to !overview.visible

This gesture only makes sense to be triggered outside the overview, when
dealing with application windows themselves.

https://bugzilla.gnome.org/show_bug.cgi?id=736110

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 101f9a8d716c6b4af30d6a6ec1518009090542e8..ac723a5166f0ea34ce5aa0c09bfa1cb645ec6057 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -526,6 +526,11 @@ const AppSwitchAction = new Lang.Class({
     },
 
     vfunc_gesture_prepare : function(action, actor) {
+        if (Main.overview.visible) {
+            this.cancel();
+            return false;
+        }
+
         return this.get_n_current_points() <= 4;
     },